Names, Equations, Relations: Practical Ways to Reason about new
نویسندگان
چکیده
منابع مشابه
Names, Equations, Relations: Practical Ways to Reason about new
The nu-calculus of Pitts and Stark is a typed lambda-calculus, extended with state in the form of dynamically-generated names. These names can be created locally, passed around, and compared with one another. Through the interaction between names and functions, the language can capture notions of scope, visibility and sharing. Originally motivated by the study of references in Standard ML, the ...
متن کاملNames, Equations, Relations
The nu-calculus of Pitts and Stark is a typed lambdacalculus, extended with state in the form of dynamically-generated names. These names can be created locally, passed around, and compared with one another. Through the interaction between names and functions, the language can capture notions of scope, visibility and sharing. Originally motivated by the study of references in Standard ML, the n...
متن کاملHow to be a Cognitivist about Practical Reason
Cognitivism about practical reason is the view that intentions involve beliefs, and that the rational requirements on intentions can be explained in terms of the rational requirements on the beliefs that figure in intentions. In particular, cognitivists about practical reason have sought to provide cognitive explanations of two basic requirements of practical rationality: a consistency requirem...
متن کاملAcquiring new spatial intuitions: learning to reason about rotations.
There are certain simple rotations of objects that most people cannot reason about accurately. Reliable gaps in the understanding of a fundamental physical domain raise the question of how learning to reason in that domain might proceed. Using virtual reality techniques, this project investigated the nature of learning to reason across the domain of simple rotations. Learning consisted of the a...
متن کاملDeveloping New Models to Reason about Time and Space
Cyber-physical systems (CPS) tightly integrate physical processes with cyber-control and monitoring. The difference between CPS and traditional embedded systems lies in the degree of integration of software systems with physical systems, the scale and complexity of the integrated systems, and the reliance on sensing, computation, and actuation via networks. New scientific foundations for specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1997
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v4i39.18965